Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
461	PDF Document Add to Reading List Source URL: www.blue-yonder.com Language: English - Date: 2014-12-11 01:27:39 Statistics Visual arts Data analysis Bauhaus Expressionist architecture Modernism Predictive analytics Software as a service Data mining Business intelligence Business Formal sciences
462	PDF Document Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2014-11-27 09:05:09 Automotive software FlexRay Static timing analysis Software bug Analysis Mind Computing Electronic engineering Software architecture Formal methods AUTOSAR
463	PDF Document Add to Reading List Source URL: www.blue-yonder.com Language: English - Date: 2014-12-11 02:17:18 Information Formal sciences Data analysis Statistical forecasting Predictive analytics Data mining ADAPA Analytics Forecasting Statistics Science Business intelligence
464	Delft Data Science Seminar January 26, 2015 Big Data Analytics for Cyber Situational Awareness Add to Reading List Source URL: www.delftdatascience.tudelft.nl Language: English - Date: 2015-02-06 04:39:46 Formal sciences Visualization Database management systems Business intelligence Data analysis Big data Data visualization Computing Analytics Science Data management Technology
465	SureView® Analytics Security Operations Incident response investigative intelligence enterprise application rapidly mitigates the costs and risks of breaches with a low total cost Add to Reading List Source URL: www.raytheoncyber.com Language: English - Date: 2015-04-19 23:42:34 Statistics Data management Natural language processing Statistical natural language processing Formal sciences Analytics Text analytics Text mining Geographic information system Science Data analysis Business intelligence
466	BIG DATA POSSIBILITIES AND CHALLENGES LARS ARGE PROFESSOR AND CENTER DIRECTOR AU Add to Reading List Source URL: conferences.au.dk Language: English - Date: 2014-12-01 03:37:24 Formal sciences Aarhus Big data Data analysis Technology Science Data management
467	PDF Document Add to Reading List Source URL: manovich.net Language: English - Date: 2014-06-09 13:00:06 Research methods Scientific method Ethology Data analysis Web 2.0 Data mining Cultural analytics Qualitative research Big data Science Technology Formal sciences
468	Mass conservation and continuity equations !!! In the absence of sources/sinks it is possible to attain formal local mass conservation in models based on the volume density continuity equation. This is generally NOT the Add to Reading List Source URL: www.ysss.osenu.org.ua Language: English - Date: 2012-07-22 18:16:58 Numerical analysis Fluid dynamics Computational science Finite volume method ΔT Differential of a function Partition of unity Mathematical analysis Mathematics Computational fluid dynamics
469	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
470	Technical Specifications Pebal Pebal Features of Pebal Add to Reading List Source URL: www.persistent.com Language: English - Date: 2015-01-30 07:27:28 Formal sciences Business intelligence Data analysis Information retrieval Searching Analytics Apache Hadoop Text analytics JSON Information science Science Computing

UPDATE